Optimal. Leaf size=131 \[ \frac {7 A+i B}{8 d \left (a^3+i a^3 \tan (c+d x)\right )}-\frac {x (-B+7 i A)}{8 a^3}+\frac {A \log (\sin (c+d x))}{a^3 d}+\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {3 A+i B}{8 a d (a+i a \tan (c+d x))^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.36, antiderivative size = 131, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 3, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.094, Rules used = {3596, 3531, 3475} \[ \frac {7 A+i B}{8 d \left (a^3+i a^3 \tan (c+d x)\right )}-\frac {x (-B+7 i A)}{8 a^3}+\frac {A \log (\sin (c+d x))}{a^3 d}+\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {3 A+i B}{8 a d (a+i a \tan (c+d x))^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3475
Rule 3531
Rule 3596
Rubi steps
\begin {align*} \int \frac {\cot (c+d x) (A+B \tan (c+d x))}{(a+i a \tan (c+d x))^3} \, dx &=\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {\int \frac {\cot (c+d x) (6 a A-3 a (i A-B) \tan (c+d x))}{(a+i a \tan (c+d x))^2} \, dx}{6 a^2}\\ &=\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {3 A+i B}{8 a d (a+i a \tan (c+d x))^2}+\frac {\int \frac {\cot (c+d x) \left (24 a^2 A-6 a^2 (3 i A-B) \tan (c+d x)\right )}{a+i a \tan (c+d x)} \, dx}{24 a^4}\\ &=\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {3 A+i B}{8 a d (a+i a \tan (c+d x))^2}+\frac {7 A+i B}{8 d \left (a^3+i a^3 \tan (c+d x)\right )}+\frac {\int \cot (c+d x) \left (48 a^3 A-6 a^3 (7 i A-B) \tan (c+d x)\right ) \, dx}{48 a^6}\\ &=-\frac {(7 i A-B) x}{8 a^3}+\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {3 A+i B}{8 a d (a+i a \tan (c+d x))^2}+\frac {7 A+i B}{8 d \left (a^3+i a^3 \tan (c+d x)\right )}+\frac {A \int \cot (c+d x) \, dx}{a^3}\\ &=-\frac {(7 i A-B) x}{8 a^3}+\frac {A \log (\sin (c+d x))}{a^3 d}+\frac {A+i B}{6 d (a+i a \tan (c+d x))^3}+\frac {3 A+i B}{8 a d (a+i a \tan (c+d x))^2}+\frac {7 A+i B}{8 d \left (a^3+i a^3 \tan (c+d x)\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 1.33, size = 180, normalized size = 1.37 \[ \frac {\sec ^3(c+d x) ((-27 B+81 i A) \cos (c+d x)+2 \cos (3 (c+d x)) (48 i A \log (\sin (c+d x))+42 A d x+i A+6 i B d x-B)-51 A \sin (c+d x)+2 A \sin (3 (c+d x))+84 i A d x \sin (3 (c+d x))-96 A \sin (3 (c+d x)) \log (\sin (c+d x))-9 i B \sin (c+d x)+2 i B \sin (3 (c+d x))-12 B d x \sin (3 (c+d x)))}{96 a^3 d (\tan (c+d x)-i)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.59, size = 103, normalized size = 0.79 \[ \frac {{\left ({\left (-180 i \, A + 12 \, B\right )} d x e^{\left (6 i \, d x + 6 i \, c\right )} + 96 \, A e^{\left (6 i \, d x + 6 i \, c\right )} \log \left (e^{\left (2 i \, d x + 2 i \, c\right )} - 1\right ) + 6 \, {\left (11 \, A + 3 i \, B\right )} e^{\left (4 i \, d x + 4 i \, c\right )} + 3 \, {\left (5 \, A + 3 i \, B\right )} e^{\left (2 i \, d x + 2 i \, c\right )} + 2 \, A + 2 i \, B\right )} e^{\left (-6 i \, d x - 6 i \, c\right )}}{96 \, a^{3} d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 1.55, size = 145, normalized size = 1.11 \[ -\frac {\frac {6 \, {\left (15 \, A + i \, B\right )} \log \left (\tan \left (d x + c\right ) - i\right )}{a^{3}} + \frac {6 \, {\left (A - i \, B\right )} \log \left (i \, \tan \left (d x + c\right ) - 1\right )}{a^{3}} - \frac {96 \, A \log \left (\tan \left (d x + c\right )\right )}{a^{3}} - \frac {165 \, A \tan \left (d x + c\right )^{3} + 11 i \, B \tan \left (d x + c\right )^{3} - 579 i \, A \tan \left (d x + c\right )^{2} + 45 \, B \tan \left (d x + c\right )^{2} - 699 \, A \tan \left (d x + c\right ) - 69 i \, B \tan \left (d x + c\right ) + 301 i \, A - 51 \, B}{a^{3} {\left (\tan \left (d x + c\right ) - i\right )}^{3}}}{96 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.76, size = 218, normalized size = 1.66 \[ -\frac {A \ln \left (\tan \left (d x +c \right )+i\right )}{16 d \,a^{3}}+\frac {i B \ln \left (\tan \left (d x +c \right )+i\right )}{16 d \,a^{3}}+\frac {A \ln \left (\tan \left (d x +c \right )\right )}{a^{3} d}-\frac {3 A}{8 d \,a^{3} \left (\tan \left (d x +c \right )-i\right )^{2}}-\frac {i B}{8 d \,a^{3} \left (\tan \left (d x +c \right )-i\right )^{2}}+\frac {i A}{6 d \,a^{3} \left (\tan \left (d x +c \right )-i\right )^{3}}-\frac {B}{6 d \,a^{3} \left (\tan \left (d x +c \right )-i\right )^{3}}+\frac {B}{8 d \,a^{3} \left (\tan \left (d x +c \right )-i\right )}-\frac {7 i A}{8 d \,a^{3} \left (\tan \left (d x +c \right )-i\right )}-\frac {15 \ln \left (\tan \left (d x +c \right )-i\right ) A}{16 d \,a^{3}}-\frac {i \ln \left (\tan \left (d x +c \right )-i\right ) B}{16 d \,a^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: RuntimeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 6.58, size = 164, normalized size = 1.25 \[ \frac {\frac {17\,A}{12\,a^3}-{\mathrm {tan}\left (c+d\,x\right )}^2\,\left (\frac {7\,A}{8\,a^3}+\frac {B\,1{}\mathrm {i}}{8\,a^3}\right )+\frac {B\,5{}\mathrm {i}}{12\,a^3}+\mathrm {tan}\left (c+d\,x\right )\,\left (-\frac {3\,B}{8\,a^3}+\frac {A\,17{}\mathrm {i}}{8\,a^3}\right )}{d\,\left (-{\mathrm {tan}\left (c+d\,x\right )}^3\,1{}\mathrm {i}-3\,{\mathrm {tan}\left (c+d\,x\right )}^2+\mathrm {tan}\left (c+d\,x\right )\,3{}\mathrm {i}+1\right )}+\frac {A\,\ln \left (\mathrm {tan}\left (c+d\,x\right )\right )}{a^3\,d}+\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )+1{}\mathrm {i}\right )\,\left (B+A\,1{}\mathrm {i}\right )\,1{}\mathrm {i}}{16\,a^3\,d}-\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )-\mathrm {i}\right )\,\left (15\,A+B\,1{}\mathrm {i}\right )}{16\,a^3\,d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 1.14, size = 303, normalized size = 2.31 \[ \frac {A \log {\left (e^{2 i d x} - e^{- 2 i c} \right )}}{a^{3} d} + \begin {cases} - \frac {\left (\left (- 512 A a^{6} d^{2} e^{6 i c} - 512 i B a^{6} d^{2} e^{6 i c}\right ) e^{- 6 i d x} + \left (- 3840 A a^{6} d^{2} e^{8 i c} - 2304 i B a^{6} d^{2} e^{8 i c}\right ) e^{- 4 i d x} + \left (- 16896 A a^{6} d^{2} e^{10 i c} - 4608 i B a^{6} d^{2} e^{10 i c}\right ) e^{- 2 i d x}\right ) e^{- 12 i c}}{24576 a^{9} d^{3}} & \text {for}\: 24576 a^{9} d^{3} e^{12 i c} \neq 0 \\x \left (- \frac {- 15 i A + B}{8 a^{3}} - \frac {\left (15 i A e^{6 i c} + 11 i A e^{4 i c} + 5 i A e^{2 i c} + i A - B e^{6 i c} - 3 B e^{4 i c} - 3 B e^{2 i c} - B\right ) e^{- 6 i c}}{8 a^{3}}\right ) & \text {otherwise} \end {cases} - \frac {x \left (15 i A - B\right )}{8 a^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________